بازگشت به فرم جستجو »

نمایش نتایج جستجو برای

کلمات کلیدی: منطق order-sorted

---

موارد یافت شده: 2

1 - استنتاج توزیع شده برروی آنتولوژی ها و قوانین در منطق Order-Sorted (چکیده)
2 - استنتاج توزیع شده در منطق Order-Sorte بر روی دانش دائمی و غیر دائمی معتبر (چکیده)